$\forall$$r$, $s$:$\mathbb{Q}$. Dec($r$ = $s$)